UseWitness $\lambda$$n$.$f$($n$,1,0)